Reset the domain name after the save completes. This is necessary, now that
authorEwan Mellor <ewan@xensource.com>
Mon, 27 Nov 2006 14:47:23 +0000 (14:47 +0000)
committerEwan Mellor <ewan@xensource.com>
Mon, 27 Nov 2006 14:47:23 +0000 (14:47 +0000)
commitb12b62c2fdc14d5f9399154cf31c615f4ec71d70
tree4bf264976875b6c36051f890fd348184effca57e
parentb05e41a16b7600818912d65b8fa9a8f5c17de957
Reset the domain name after the save completes.  This is necessary, now that
we have persistent domains.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
tools/python/xen/xend/XendCheckpoint.py